home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / quintus / quintus0.lha / work / cprolog_2.06.0 < prev    next >
Text File  |  1992-04-03  |  935b  |  67 lines
  1. %%%
  2. %%% version 2.06.0
  3. %%%   initial version
  4. %%%   added garbage collect/0 for als and cprolog
  5.  
  6. %%%
  7. %%% Specific code for Cprolog.
  8. %%%
  9.  
  10. %%%
  11. %%% Cputime/1.
  12. %%%
  13.     cputime(X) :-
  14.       X is floor(cputime*1000)/1000.
  15.  
  16. %%%
  17. %%% Floor/2.
  18. %%%
  19.     floor(X,Y) :-
  20.       Y is floor(X).
  21.  
  22. %%%
  23. %%% Load_file/1.
  24. %%%
  25.     load_file(X) :-
  26.       [-X].
  27.  
  28. %%%
  29. %%% Numbervars/3.
  30. %%%
  31.      numbervars('$VAR'(N),N,N1) :-
  32.     N1 is N + 1, !.
  33.      numbervars(Term,N1,N2) :-
  34.     nonvar(Term), functor(Term,F,N),
  35.     numbervars(0,N,Term,N1,N2).
  36.  
  37.      numbervars(N,N,Term,N1,N1):- !.
  38.      numbervars(I,N,Term,N1,N3) :-
  39.     I < N,
  40.     I1 is I + 1,
  41.     arg(I1,Term,Arg),
  42.     numbervars(Arg,N1,N2),
  43.     numbervars(I1,N,Term,N2,N3).
  44.  
  45. %%%
  46. %%% Initialization/1.
  47. %%%
  48.     initialization(X) :-
  49.       call(X),
  50.       !.
  51.  
  52. %%%
  53. %%% Ttyflush/0.
  54. %%%
  55.     ttyflush.
  56.  
  57. %%%
  58. %%% Append/3.
  59. %%%
  60.     append([],L,L).
  61.     append([H|T],L,[H|TL]) :- append(T,L,TL).
  62.  
  63. %%%
  64. %%% Garbage_collect/0.
  65. %%%
  66.     garbage_collect.
  67.